[prev] [prev-tail] [tail] [up]

Integrals 1101 to 1156

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 102 77 0 0 0 78 0 0

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.76 0.00 0.00

time (sec)

N/A 0.059 10.046 0.000 0.000 0.000 2.414 0.000 0.000

Problem 1102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 107 84 0 0 0 82 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.77 0.00 0.00

time (sec)

N/A 0.062 10.041 0.000 0.000 0.000 9.409 0.000 0.000

Problem 1103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

144 144 88 0 0 0 85 0 0

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.59 0.00 0.00

time (sec)

N/A 0.077 10.063 0.000 0.000 0.000 100.432 0.000 0.000

Problem 1104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

182 182 88 0 0 0 0 0 0

N.S.

1 1.00 0.48 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.097 10.055 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

171 171 148 0 0 810 94 0 0

N.S.

1 1.00 0.87 0.00 0.00 4.74 0.55 0.00 0.00

time (sec)

N/A 0.069 1.029 0.000 0.000 0.313 14.243 0.000 0.000

Problem 1106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

122 122 103 0 0 389 83 0 0

N.S.

1 1.00 0.84 0.00 0.00 3.19 0.68 0.00 0.00

time (sec)

N/A 0.048 0.538 0.000 0.000 0.301 9.933 0.000 0.000

Problem 1107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 45 39 0 57 117 0 70

N.S.

1 1.00 0.67 0.58 0.00 0.85 1.75 0.00 1.04

time (sec)

N/A 0.019 0.353 3.189 0.000 0.287 30.963 0.000 5.493

Problem 1108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 67 62 0 80 0 0 101

N.S.

1 1.00 0.64 0.60 0.00 0.77 0.00 0.00 0.97

time (sec)

N/A 0.033 0.554 3.202 0.000 0.284 0.000 0.000 5.752

Problem 1109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 91 86 0 105 0 0 125

N.S.

1 1.00 0.65 0.61 0.00 0.74 0.00 0.00 0.89

time (sec)

N/A 0.045 0.841 3.262 0.000 0.287 0.000 0.000 5.820

Problem 1110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

180 180 112 0 0 0 0 0 0

N.S.

1 1.00 0.62 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.065 10.100 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

142 142 85 0 0 0 94 0 0

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.66 0.00 0.00

time (sec)

N/A 0.044 10.079 0.000 0.000 0.000 42.935 0.000 0.000

Problem 1112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 99 77 0 0 0 94 0 0

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.95 0.00 0.00

time (sec)

N/A 0.029 10.073 0.000 0.000 0.000 6.824 0.000 0.000

Problem 1113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

103 103 77 0 0 0 82 0 0

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.80 0.00 0.00

time (sec)

N/A 0.034 10.032 0.000 0.000 0.000 15.391 0.000 0.000

Problem 1114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

144 144 78 0 0 0 85 0 0

N.S.

1 1.00 0.54 0.00 0.00 0.00 0.59 0.00 0.00

time (sec)

N/A 0.049 10.034 0.000 0.000 0.000 77.570 0.000 0.000

Problem 1115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

182 182 82 0 0 0 0 0 0

N.S.

1 1.00 0.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.072 10.052 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

184 184 129 0 0 0 94 0 0

N.S.

1 1.00 0.70 0.00 0.00 0.00 0.51 0.00 0.00

time (sec)

N/A 0.097 0.997 0.000 0.000 0.000 49.355 0.000 0.000

Problem 1117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

125 125 108 0 0 0 87 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.70 0.00 0.00

time (sec)

N/A 0.051 0.753 0.000 0.000 0.000 12.726 0.000 0.000

Problem 1118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 44 40 0 56 119 0 69

N.S.

1 1.00 0.68 0.62 0.00 0.86 1.83 0.00 1.06

time (sec)

N/A 0.021 0.464 3.206 0.000 0.319 31.599 0.000 5.612

Problem 1119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 67 62 0 81 469 0 101

N.S.

1 1.00 0.64 0.60 0.00 0.78 4.51 0.00 0.97

time (sec)

N/A 0.032 0.545 3.250 0.000 0.308 138.648 0.000 5.764

Problem 1120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 91 86 0 105 0 0 125

N.S.

1 1.00 0.65 0.61 0.00 0.74 0.00 0.00 0.89

time (sec)

N/A 0.042 0.917 3.213 0.000 0.343 0.000 0.000 5.846

Problem 1121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

192 192 110 0 0 0 94 0 0

N.S.

1 1.00 0.57 0.00 0.00 0.00 0.49 0.00 0.00

time (sec)

N/A 0.089 10.095 0.000 0.000 0.000 149.191 0.000 0.000

Problem 1122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 152 85 0 0 0 94 0 0

N.S.

1 1.00 0.56 0.00 0.00 0.00 0.62 0.00 0.00

time (sec)

N/A 0.074 10.074 0.000 0.000 0.000 20.357 0.000 0.000

Problem 1123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

116 116 79 0 0 0 78 0 0

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.67 0.00 0.00

time (sec)

N/A 0.062 10.047 0.000 0.000 0.000 18.124 0.000 0.000

Problem 1124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

144 144 91 0 0 0 97 0 0

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.67 0.00 0.00

time (sec)

N/A 0.073 10.040 0.000 0.000 0.000 55.221 0.000 0.000

Problem 1125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

181 181 82 0 0 0 0 0 0

N.S.

1 1.00 0.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.090 10.052 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

221 221 150 0 0 904 0 0 0

N.S.

1 1.00 0.68 0.00 0.00 4.09 0.00 0.00 0.00

time (sec)

N/A 0.097 1.897 0.000 0.000 0.312 0.000 0.000 0.000

Problem 1127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F C C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 149 124 0 0 468 116 0 0

N.S.

1 1.00 0.83 0.00 0.00 3.14 0.78 0.00 0.00

time (sec)

N/A 0.058 1.321 0.000 0.000 0.298 67.625 0.000 0.000

Problem 1128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 44 39 0 62 230 0 79

N.S.

1 1.00 0.56 0.49 0.00 0.78 2.91 0.00 1.00

time (sec)

N/A 0.023 0.610 3.295 0.000 0.279 69.403 0.000 5.864

Problem 1129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 67 62 0 95 0 0 115

N.S.

1 1.00 0.64 0.60 0.00 0.91 0.00 0.00 1.11

time (sec)

N/A 0.031 0.550 3.382 0.000 0.290 0.000 0.000 5.910

Problem 1130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 88 86 0 119 0 0 144

N.S.

1 1.00 0.62 0.61 0.00 0.84 0.00 0.00 1.02

time (sec)

N/A 0.046 0.765 3.254 0.000 0.278 0.000 0.000 6.105

Problem 1131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 115 110 0 143 0 0 156

N.S.

1 1.00 0.65 0.62 0.00 0.80 0.00 0.00 0.88

time (sec)

N/A 0.057 1.291 3.242 0.000 0.279 0.000 0.000 6.025

Problem 1132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

230 230 140 0 0 0 0 0 0

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.083 10.153 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

192 192 116 0 0 0 0 0 0

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.069 10.104 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

155 155 98 0 0 0 94 0 0

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.61 0.00 0.00

time (sec)

N/A 0.050 10.088 0.000 0.000 0.000 154.706 0.000 0.000

Problem 1135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

114 114 86 0 0 0 94 0 0

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.82 0.00 0.00

time (sec)

N/A 0.035 10.077 0.000 0.000 0.000 45.738 0.000 0.000

Problem 1136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

142 142 85 0 0 0 97 0 0

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.68 0.00 0.00

time (sec)

N/A 0.047 10.033 0.000 0.000 0.000 119.178 0.000 0.000

Problem 1137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

181 181 86 0 0 0 0 0 0

N.S.

1 1.00 0.48 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.066 10.033 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

219 219 87 0 0 0 0 0 0

N.S.

1 1.00 0.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.087 10.068 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 101 97 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.054 0.166 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

84 84 86 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.047 0.075 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

84 84 86 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.044 0.059 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

79 79 172 0 0 0 0 0 0

N.S.

1 1.00 2.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.027 0.049 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

82 82 84 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.045 0.082 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

84 84 86 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.045 0.090 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

242 242 195 0 0 0 0 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.205 0.229 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 146 118 0 0 0 0 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.087 0.125 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 85 84 0 0 0 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.047 0.045 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

97 97 95 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.066 0.082 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 98 100 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.059 0.082 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

100 100 100 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.064 0.105 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 91 91 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.047 0.414 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 91 91 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.051 0.369 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 91 91 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.047 0.250 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

89 89 89 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.046 0.281 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

89 89 89 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.050 0.422 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 91 91 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.049 0.450 0.000 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]